/*
 * Util.c
 *
 *  Created on: Jun 20, 2009
 *      Author: gianpaolo
 */

#include "Util.h"

void printMatriz(int **conexiones, int tamConex) {
	int i,j;
	printf("Matriz de conexiones\n");
	for (i = 0; i < tamConex; ++i){
		printf("{\t");
		for (j = 0; j < tamConex-1; ++j) {
			printf("%d, ", conexiones[i][j]);
		}
		printf("%d\t}\n",conexiones[i][tamConex-1]);
	}

}

void imprimirClau2(Clausula * claus){
	int j;
	//Clausula * clausulas = receptor.claus;
	int vars;
	//char *prueba = malloc(sizeof(char)*10);

	printf("Clausula:  ----");
	vars = claus->numVariables;

	for (j=0; j<vars; j++) {
		printf("%d=%d,%d ",j,claus->indices[j].pos,claus->indices[j].bool);

	}
	printf("\n");
}

void imprimirVars(Variable* variables) {
	int i;
	for(i=0; i < 729; ++i) {
		if(variables[i].asignacion != 0)
			printf("variable %d=%d\n",i,variables[i].asignacion);
	}
}
